An Executable and Testable Semantics for iTasks
نویسندگان
چکیده
1 iTasks are wonderful workflow management systems supports and guides (administrative) tasks of humans and computers entering data, approving transactions, .. the iTasks system is a combinator library to specify workflows execute tasks using a multi user web-interface requirements of the iTask system data dependent tasks dynamic task creation and adaptation iTasks are in the Clean distribution require generics, dynamics, iData and a little uniqueness 2
منابع مشابه
An Introduction to iTasks: Defining Interactive Work Flows for the Web
In these lecture notes we present the iTask system: a set of combinators to specify work flows in a pure functional language at a very high level of abstraction. Work flow systems are automated systems in which tasks are coordinated that have to be executed by either humans or computers. The combinators that we propose support work flow patterns commonly found in commercial work flow systems. I...
متن کاملTestable Use Cases in the Abstract State Machine Language
Use cases are a method for describing interactions between humans and/or systems. However, despite their popularity, there is no agreed formal syntax and semantics of use cases. The Abstract State Machine Language (ASML) is an executable specification language developed at Microsoft Research. In this paper we define an encoding of use cases in ASML and demonstrate the advantages by describing t...
متن کاملModel Driven Development for Embedded Systems
It is important for developing enterprise systems to fully analyze at an early stage the business workflows that describe interactions involving systems and their users. This is also important when developing embedded systems, which consist of various hardware components, their environment, and control software. Many combinations of sensors and actuators can be used to implement the requirement...
متن کاملDeclarative Semantics in Object-Oriented Software Development - A Taxonomy and Survey
One of the modern paradigms to develop an application is object oriented analysis and design. In this paradigm, there are several objects and each object plays some specific roles in applications. In an application, we must distinguish between procedural semantics and declarative semantics for their implementation in a specific programming language. For the procedural semantics, we can write a ...
متن کاملTesting Executable Themes
Design validation is important for detecting errors early in the development life cycle. Testing the design is one significant means to achieve design validation. In this paper we present initial work to make Theme/UML models executable and therefore testable.
متن کامل